x::y => body(x;y) cont(value,contvalue)
== Case of value; nil  cont(contvalue,contvalue) ; hd.tl, rec:f  body(hd;tl) 

latex

FDL editor aliases

case_cons